Games Chara terizing Levy-Longo Trees

Games Characterizing Levy-Longo Trees

We present a simple strongly universal innocent game model for Levy-Longo trees i.e. every point in the model is the denotation of a unique Levy-Longo tree. The observational quotient of the model then gives a universal, and hence fully abstract, model of the pure Lazy Lambda Calculus.

Chara terizing - terms with equal redu tion behavior ?

A Limit Chara terization for the Number of Spanning Trees of Graphs

Continuity and Discontinuity in Lambda Calculus

This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite and infinite terms with the prefix relation. We prove that the only continuous parametric trees are Böhm and Lévy–Longo trees. We also prove a general statement: if the normal form function is continuous then so is the...

The chloroplast genome sequence of Chara vulgaris sheds new light into the closest green algal relatives of land plants.

The phylum Streptophyta comprises all land plants and six monophyletic groups of charophycean green algae (Mesostigmatales, Chlorokybales, Klebsormidiales, Zygnematales, Coleochaetales, and Charales). Phylogenetic analyses of four genes encoded in three cellular compartments suggest that the Charales are sister to land plants and that charophycean green algae evolved progressively toward an inc...